H ? « ‹ ← → › »

Language peer sets for Algol 50:
United States↑
United States/1998↑
Designed 1998 ↑
1990s languages ↑
Internet↑
New internationlism↑
Genus True ALGOL60s ↑
Numerical Scientific ↑
True ALGOL60s↑
Generation of Algol 60↑
Algol family ↑
True ALGOL60s/1998↑
Generation of Algol 60/1998↑
Algol family/1998↑
True ALGOL60s/United States↑
Generation of Algol 60/United States↑
Algol family/United States↑
Numerical Scientific ↑
Numerical Scientific/1998↑
Numerical Scientific/us ↑

Algol 50(ID:5842/alg027)

McCarthy's putative theorised Algol 60 precursor  

alternate simple view
Country: United States
Designed 1998
Genus: True ALGOL60s
Sammet category: Numerical Scientific

Paper language created by McCarthy as an introduction to ideas in Elephant 2000, conceived of as the successor to Algol 48 ( as Algol 60 stood to Algol 58)

"These are the explicit use of time in a programming language and the representation of the program by logical sentences. The former permits a direct expression of the operational semantics of the language, and the latter permits proofs of properties of programs without any special theory of programming."

People:
Related languages
ALGOL 60 → Algol 50   Extension of
Elephant 2000 → Algol 50   Co-development
References:
  • McCarthy, John (1998) McCarthy, John "Elephant 2000: A Programming Language Based on Speech Acts" Stanford University 1998 Extract: Introduction Online copy Algol 50 Home page Algol 48 and 50 page
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder